Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector

نویسندگان

  • Javier Campos
  • Giovanni Chiola
  • Manuel Silva Suárez
چکیده

This paper addresses ergodicity and throughput bounds characterizations for a subclass of timed and stochas-tic Petri nets, interleaving qualitative and quantitative theories. The considered nets represent an extension of the well known subclass of marked graphs, deened as having a unique consistent ring count vector, independently of the stochastic interpretation of the net model. In particular, persistent and mono-T-semiiow nets subclasses are considered. Upper and lower throughput bounds are computed using linear programming problems deened on the incidence matrix of the underlying net. The bounds proposed here depend on the initial marking and the mean values of the delays but not on the probability distributions (thus including both the deterministic and the stochastic cases). From a diierent perspective, the considered subclasses of stochastic nets can be viewed as special classes of synchronized queueing networks, thus the proposed bounds can be applied to these networks.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

All Fundamental Particular Solutions are Needed to Express an Arbitrary Firing Count Vector in Petri Nets

For fixed initial and destination states (i.e., markings), M0 and Md , there exist generally infinite firing count vectors in a Petri net. In this letter, it is shown that all fundamental particular solutions as well as all minimal T-invariants w.r.t. firing count vectors are needed to express an arbitrary firing count vector for the fixed M0 and Md . An algorithm for finding a special firing c...

متن کامل

Blocking a transition in a Free Choice net and what it tells about its throughput

In a live and bounded Free Choice Petri net, pick a non-conflicting transition. Then there exists a unique reachable marking in which no transition is enabled except the selected one. For a routed live and bounded Free Choice net, this property is true for any transition of the net. Consider now a live and bounded stochastic routed Free Choice net, and assume that the routings and the firing ti...

متن کامل

SimHPN: A MATLAB toolbox for simulation, analysis and design with hybrid Petri nets

This paper presents a MATLAB embedded package for hybrid Petri nets called SimHPN. It offers a collection of tools devoted to simulation, analysis and synthesis of dynamical systems modeled by hybrid Petri nets. The package supports several server semantics for the firing of both, discrete and continuous, types of transitions. Besides providing different simulation options, SimHPN offers the po...

متن کامل

Throughput Analysis in Timed Petri Nets

It is shown that the steady–state behaviour of a class of timed Petri nets can be analysed using the concept of throughput and simple rules of operational analysis. Since such analysis is based on the average values of firing times rather than firing time distribution functions, the same approach can be applied to a variety of net models. Throughput analysis uses structural properties of nets o...

متن کامل

Throughput analysis in timed colored Petri nets

It is shown that the steady-state behavior of a class of timed colored Petri nets can be analyzed using the concept of throughput and simple rules of operational analysis. Since such analysis is based on the average values of firing times rather than firing time distribution functions, the same approach ca be applied to a variety of net models. Throughput analysis is based on S t N C t U d prop...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • IEEE Trans. Software Eng.

دوره 17  شماره 

صفحات  -

تاریخ انتشار 1991